6

Classical Logic with Partial Functions

Year:
2011
Language:
english
File:
PDF, 630 KB
english, 2011
12

Resolution-based methods for modal logics

Year:
2000
Language:
english
File:
PDF, 292 KB
english, 2000
20

Preface

Year:
2005
Language:
english
File:
PDF, 70 KB
english, 2005
21

The Resolution Calculus, Alexander Leitsch

Year:
1998
Language:
english
File:
PDF, 31 KB
english, 1998
23

Theorem proving for classical logic with partial functions by reduction to Kleene logic

Year:
2014
Language:
english
File:
PDF, 1.25 MB
english, 2014
29

Deciding the E+-class by an a posteriori, liftable order

Year:
2000
Language:
english
File:
PDF, 102 KB
english, 2000
33

Automated Proof Construction in Type Theory Using Resolution

Year:
2002
Language:
english
File:
PDF, 169 KB
english, 2002
34

Translation of resolution proofs into short first-order proofs without choice axioms

Year:
2005
Language:
english
File:
PDF, 466 KB
english, 2005
36

Frühromantische Dichtungstheorie || IV. KUNST

Year:
1970
File:
PDF, 2.52 MB
1970
39

Frühromantische Dichtungstheorie || V. DICHTUNG

Year:
1970
File:
PDF, 3.04 MB
1970
40

An Algorithm for the Retrieval of Unifiers from Discrimination Trees

Year:
1998
Language:
english
File:
PDF, 449 KB
english, 1998
42

Frühromantische Dichtungstheorie || VI. DER ROMAN

Year:
1970
File:
PDF, 1.75 MB
1970
48

Frühromantische Dichtungstheorie || VII. ROMANTIK UND ROMANTISCH

Year:
1970
Language:
german
File:
PDF, 2.70 MB
german, 1970
49

Frühromantische Dichtungstheorie || NAMENREGISTER

Year:
1970
File:
PDF, 143 KB
1970
50

Book Review

Year:
2017
Language:
english
File:
PDF, 68 KB
english, 2017